Hirvensalo, Mika : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (28)
Les plus populaires
Liste
- Liste
- Tableau

1

Post Correspondence Problem for short words

Vesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki

Journal:

Information Processing Letters

Année:

2008

Langue:

english

Fichier:

PDF, 135 KB

english, 2008

2

Quantum Computing ||

Hirvensalo, Mika

Année:

2004

Langue:

english

Fichier:

PDF, 16.85 MB

english, 2004

3

Computing partial information out of intractable: Powers of algebraic numbers as an example

Mika Hirvensalo, Juhani Karhumäki, Alexander Rabinovich

Journal:

Journal of Number Theory

Année:

2010

Langue:

english

Fichier:

PDF, 270 KB

english, 2010

4

Quantum computing – Facts and folklore

Mika Hirvensalo

Journal:

Natural Computing

Année:

2002

Langue:

english

Fichier:

PDF, 133 KB

english, 2002

5

Quantum Computing ||

Hirvensalo, Mika

Année:

2001

Langue:

english

Fichier:

PDF, 15.26 MB

english, 2001

6

Phillip Kaye, Raymond Laflamme, Michele Mosca, ,An Introduction to Quantum Computing (2007) Oxford University Press 019857049X xii+276 Paperback $54.

Mika Hirvensalo

Journal:

Computer Science Review

Année:

2007

Langue:

english

Fichier:

PDF, 269 KB

english, 2007

7

Positivity of second order linear recurrent sequences

Vesa Halava, Tero Harju, Mika Hirvensalo

Journal:

Discrete Applied Mathematics

Année:

2006

Langue:

english

Fichier:

PDF, 155 KB

english, 2006

8

Preface

Mika Hirvensalo

Journal:

Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 139 KB

english, 2009

9

Binary (generalized) Post Correspondence Problem

Vesa Halava, Tero Harju, Mika Hirvensalo

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 208 KB

english, 2002

10

Computing with quanta—impacts of quantum theory on computation

Mika Hirvensalo

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 295 KB

english, 2002

11

Marked PCP is decidable

Vesa Halava, Mika Hirvensalo, Ronald de Wolf

Journal:

Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 147 KB

english, 2001

12

Improved matrix pair undecidability results

Vesa Halava, Mika Hirvensalo

Journal:

Acta Informatica

Année:

2007

Langue:

english

Fichier:

PDF, 313 KB

english, 2007

13

The efficacy of magnetic resonance imaging in acute multi-ligament injuries

Jyrki Halinen, Mika Koivikko, Jan Lindahl, Eero Hirvensalo

Journal:

International Orthopaedics

Année:

2009

Fichier:

PDF, 160 KB

2009

14

On probabilistic and quantum reaction systems

Mika Hirvensalo

Journal:

Theoretical Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 250 KB

english, 2012

15

UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES

HALAVA, VESA, HARJU, TERO, HIRVENSALO, MIKA

Journal:

International Journal of Foundations of Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 847 KB

english, 2007

16

GENERALIZED POST CORRESPONDENCE PROBLEM FOR MARKED MORPHISMS

HALAVA, VESA, HARJU, TERO, HIRVENSALO, MIKA

Journal:

International Journal of Algebra and Computation

Année:

2000

Langue:

english

Fichier:

PDF, 213 KB

english, 2000

17

Reversible Queue Automata

Kutrib, Martin, Malcher, Andreas, Wendlandt, Matthias, Bensch, Suna, Freund, Rudolf, Hirvensalo, Mika, Otto, Friedrich

Journal:

Fundamenta Informaticae

Année:

2016

Langue:

english

Fichier:

PDF, 339 KB

english, 2016

18

Two-Dimensional Limited Context Restarting Automata

Krtek, Lukáš, Mráz, František, Bensch, Suna, Freund, Rudolf, Hirvensalo, Mika, Otto, Friedrich

Journal:

Fundamenta Informaticae

Année:

2016

Langue:

english

Fichier:

PDF, 418 KB

english, 2016

19

Strongly Limited Automata

Pighizzini, Giovanni, Bensch, Suna, Freund, Rudolf, Hirvensalo, Mika, Otto, Friedrich

Journal:

Fundamenta Informaticae

Année:

2016

Langue:

english

Fichier:

PDF, 376 KB

english, 2016

20

Visibly Pushdown Automata and Transducers with Counters

Ibarra, Oscar H., Bensch, Suna, Freund, Rudolf, Hirvensalo, Mika, Otto, Friedrich

Journal:

Fundamenta Informaticae

Année:

2016

Langue:

english

Fichier:

PDF, 221 KB

english, 2016

21

On the Computational Complexity of Partial Word Automata Problems

Holzer, Markus, Jakobi, Sebastian, Wendlandt, Matthias, Bensch, Suna, Freund, Rudolf, Hirvensalo, Mika, Otto, Friedrich

Journal:

Fundamenta Informaticae

Année:

2016

Langue:

english

Fichier:

PDF, 326 KB

english, 2016

22

Distinguishability Operations and Closures

Câmpeanu, Cezar, Moreira, Nelma, Reis, Rogério, Bensch, Suna, Freund, Rudolf, Hirvensalo, Mika, Otto, Friedrich

Journal:

Fundamenta Informaticae

Année:

2016

Langue:

english

Fichier:

PDF, 316 KB

english, 2016

23

[Society for Industrial and Applied Mathematics Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms - ()] Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms - The Identity Problem for Matrix Semigroups in SL 2 (ℤ) is NP -complete

Bell, Paul C., Hirvensalo, Mika, Potapov, Igor

Langue:

english

Fichier:

PDF, 1.52 MB

english

24

Interference as a computational resource: a tutorial

Hirvensalo, Mika

Journal:

Natural Computing

Année:

2017

Langue:

english

Fichier:

PDF, 759 KB

english, 2017

25

Higher step count is associated with greater bone mass and strength in women but not in men

Tolonen, Sanna, Sievänen, Harri, Hirvensalo, Mirja, Laaksonen, Marika, Mikkilä, Vera, Pälve, Kristiina, Lehtimäki, Terho, Raitakari, Olli, Kähönen, Mika

Journal:

Archives of Osteoporosis

Année:

2018

Langue:

english

Fichier:

PDF, 1023 KB

english, 2018

26

Quantum Automata with Open Time Evolution

Hirvensalo, Mika

Journal:

International Journal of Natural Computing Research

Année:

2010

Fichier:

PDF, 822 KB

2010

27

Preface

Bordihn, Henning, Hirvensalo, Mika, Kutrib, Martin, Freund, Rudolf, Holzer, Markus, Otto, Friedrich

Journal:

Fundamenta Informaticae

Année:

2010

Fichier:

PDF, 21 KB

2010

28

Preface

Bensch, Suna, Freund, Rudolf, Hirvensalo, Mika, Otto, Friedrich, Bensch, Suna, Freund, Rudolf, Hirvensalo, Mika, Otto, Friedrich

Journal:

Fundamenta Informaticae

Année:

2016

Fichier:

PDF, 48 KB

2016